1. Algorithmics :
پدیدآورنده : David Harel, with Yishai Feldman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
2. Algorithmics :
پدیدآورنده : David Harel, with Yishai Feldman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms
رده :
QA76
.
9
.
A43
H37
2004
3. Algorithmics : the spirit of computing
پدیدآورنده : David Harel with the technical assistance of Roni Rosner on the exerci
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms
رده :
QA
،
76
،.
H2833
،
1987
4. Algorithmics : the spirit of computing
پدیدآورنده : Harel, David, 0591-
موضوع : ، Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Algorithmics : the spirit of computing
پدیدآورنده : Harel, David, 0591 -
کتابخانه: (طهران)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
H37
1992
6. Algorithmics:the spirit of computing
پدیدآورنده : HAREL,DAVID
کتابخانه: (طهران)
موضوع : ELECTRONIC DATA PROCESSING , ALGORITHMS
رده :
QA
76
.
H2833
7. Algorithmics: the spirit of computing
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1987
8. Algorithmik
پدیدآورنده : David Harel ; Yishai Feldman. Übers. von Micaela Krieger-Hauwede
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithmische Programmiersprache,Algorithmische Programmierung,Algorithmus,Algorithmus, 0 Gesamtdarstellung.,Algorithmus.,Berechenbarkeit,Beweis,Effizienter Algorithmus,Komplexitätstheorie,Korrektheit,Programmiersprache,Programmierung,Programmierung.,Programmverifikation,Softwareentwicklung
9. Dynamic logic
پدیدآورنده : /David Harel; Dexter Kozen; Jerzy Tiuryn
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
10. First-Order Dynamic Logic
پدیدآورنده : edited by David Harel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer Science, general,Computer science.
11. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
12. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
13. First-order dynamic logic
پدیدآورنده : Harel, David, 0591-
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L28
Vol
.
68
14. #Real-time UML
پدیدآورنده : #Bruce Powel Douglass , ]foreword by David Harel[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Embedded computer systems- Programming ،Real-time data processing ،Object-oriented methods )Computer science(
رده :
#
QA
،#.
D66
،#
2000
15. 22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19
پدیدآورنده : / David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
16. Rzecz o istocie informatyki :
پدیدآورنده : David Harel; tł. Zbigniew Weiss, Piotr Carlson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorytmy.,Informatyka.
رده :
QA76
.
9
.
A43
D385
2000
17. The science of computing : exploring the nature and power of algorithms
پدیدآورنده : Harel, David, 0591-
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic data processing,، Computer algorithms
18. The science of computing : exploring the nature and power of algorithms
پدیدآورنده : Harel, David, 0591-
کتابخانه: (طهران)
موضوع : ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1989
